GENERAL SESSION

General Session Types

We present a streamlined theory of session types based on a simple yet general and expressive formalism whose main features are semantically characterized and where each design choice is semantically justified. We formally define the semantics of session types and use it to define the subsessioning relation. We give a coinductive characterization of subsessioning and describe algorithms to deci...

General report: session on connections

As a result of a world-wide intensive research activity, a new design concept for structural moment resistant joints has been suggested and implemented in design codes. In the present paper, its background is first briefly described and the main contributions to its development are presented. As a matter of fact, because of the high number of past and ongoing researches, reports and papers devo...

General Session, June 11 Th

Session 6: ATIS Site Reports and General Discussion

Many of the evening session papers served to describe local implementations of ATIS domain systems and to provide local "glass-box" diagnostic evaluations to complement the NIST "black box" scoring. In some cases, these had the appearance of "nit-picking". However, since our collective intent was to develop and implement an evaluation procedure, the criticisms were generally constructive, and e...

Session Viii Teaching Using Computers: General Issues and Reviews

An exploration environment and tutoring strategies were developed for the first few hours of learning the programming language LISP. In this environment, the amount of exploratory and receptive learningcan be systematically manipulated. In an experimental studywith three different learning conditions, learning in a basic exploration environment (without an automated tutor) was compared to learn...